xen/arm: vgic-v3: Correctly set GICD_TYPER.CPUNumber
authorJulien Grall <julien.grall@linaro.org>
Mon, 16 Feb 2015 14:50:42 +0000 (14:50 +0000)
committerIan Campbell <ian.campbell@citrix.com>
Thu, 19 Feb 2015 16:54:01 +0000 (16:54 +0000)
commit834551bace5cfda7ca5ebbdc2ec9fd18f002e4ce
tree17734631ac4e311fbeb90034fa5e3f087e62973a
parent8206d052eb11061d7b6cada566c0804c14001fec
xen/arm: vgic-v3: Correctly set GICD_TYPER.CPUNumber

On GICv3, the value (CPUNumber + 1) indicates the number of processor that may
be used as interrupts targets when ARE bit is zero. The maximum is 8
processors.

Signed-off-by: Julien Grall <julien.grall@linaro.org>
Acked-by: Ian Campbell <ian.campbell@citrix.com>
xen/arch/arm/vgic-v3.c
xen/include/asm-arm/gic.h